The Nonstationary Ideal and the Other Σ-ideals on Ω1
نویسنده
چکیده
Under Martin’s Maximum every σ-ideal on ω1 is a subset of an ideal Rudin-Keisler reducible to a finite Fubini power of the nonstationary ideal restricted to a positive set.
منابع مشابه
Increasing u2 by a stationary set preserving forcing
We show that if I is a precipitous ideal on ω1 and if θ > ω1 is a regular cardinal, then there is a forcing P = P(I, θ) which preserves the stationarity of all I-positive sets such that in V , 〈Hθ;∈, I〉 is a generic iterate of a countable structure 〈M ;∈, I〉. This shows that if the nonstationary ideal on ω1 is precipitous and H # θ exists, then there is a stationary set preserving forcing which...
متن کاملIdeals over ω 2 and combinatorical principles on ω 1
An ideal I over Pκλ is said to be σ-strategically closed, proper or semiproper if the corresponding poset PI is σ-strategically closed, proper or semiproper, respectively. In this note we prove the following: • If there exists a σ-strategically closed, fine and κ-complete ideal over Pω2λ for some λ ≥ ω2 then ♦ω1 holds. • If there exists a proper, fine and κ-complete ideal over Pω2λ for some λ ≥...
متن کاملAlmost-disjoint Coding and Strongly Saturated Ideals
We show that Martin’s Axiom plus c = א2 implies that there is no (א2,א2,א0)-saturated σ-ideal on ω1. Given cardinals λ, κ and γ, a σ-ideal I on a set X is said to be (λ, κ, γ)-saturated if for every set {Aα : α < λ} ⊂ P(X) \ I there exists a set Y ∈ [λ] such that for all Z ∈ [Y ] , ⋂ {Aα : α ∈ Z} ∈ I. Laver [6] was the first to show the consistency of an (א2,א2,א0)-saturated ideal on ω1, using ...
متن کاملσ-sporadic prime ideals and superficial elements
Let $A$ be a Noetherian ring, $I$ be an ideal of $A$ and $sigma$ be a semi-prime operation, different from the identity map on the set of all ideals of $A$. Results of Essan proved that the sets of associated prime ideals of $sigma(I^n)$, which denoted by $Ass(A/sigma(I^n))$, stabilize to $A_{sigma}(I)$. We give some properties of the sets $S^{sigma}_{n}(I)=Ass(A/sigma(I^n))setminus A_{sigma}(I...
متن کاملThe nonstationary ideal in the ℛmax extension
The forcing construction Pmax, invented by W. Hugh Woodin, produces a model whose collection of subsets of ω1 is in some sense maximal. In this paper we study the Boolean algebra induced by the nonstationary ideal on ω1 in this model. Among other things we show that the induced quotient does not have a simply definable form. We also prove several results about saturation properties of the ideal...
متن کامل